Connectionist Unifying Prolog

We introduce an connectionist approach to uniica-tion using a local and a distributed representation. A Prolog-System using these uniication-strategies has been build. Prolog is a Logic Programming Language which utilizes uniication. We introduce a uncertainty measurement in uniication. This measurement is based on the structure-abilities of the chosen representations. The strategy using a local representation, called`-CUP, utilizes a self-organizing feature-map (FM-net) to determine similarities between terms and induces the representation for a relaxation-network (relax-net). The strategy using a distributed representation , called d-CUP, embeds a similarity measurement by its recurrent representation. It has the advantage that similar terms have a similar representation. The uniication itself is done by a back-propagation network (BP-net). We have proven the systems adequacy for uniica-tion, its eecient computation, and the ability to do extended uniication.